A Review of Object-Oriented Approaches in Formal Methods
نویسندگان
چکیده
منابع مشابه
A Review of Object-oriented Approaches in Formal Methods
This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification. The complexity of current information systems demands the use of a higher degree of formalism in the development process. Formal languages such as Z, VDM and Lotos have been used extensively in academic environments and research projects; however, their utilization in th...
متن کاملFormal Object-Oriented Methods
Basing software construction on formal methods is a key issue when dealing with the production of reliable programs. Formal object-oriented methods combine the advantages of objectorientation—notably its powerful modelling capabilities—and those of formal methods—such as verifiability of program properties. Our tutorial reports on the state of the art in formal objectoriented methods. The issue...
متن کاملThe System: Integrating Object-Oriented Design and Formal Methods
This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
متن کاملThe KeY System: Integrating Object-Oriented Design and Formal Methods
This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.10.777